Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
451	research highlights doi:[removed][removed]Asynchronous Contact Mechanics By David Harmon,* Etienne Vouga, Breannan Smith, Rasmus Tamstorf, and Eitan Grinspun Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2012-03-23 15:47:43 Video game development Mechanics Introductory physics 3D computer graphics Collision detection Collision Logic simulation Dynamical simulation Impact event Physics Computational physics Electronic engineering
452	IEEE TRANSACTIONS ON INFORMATION THEORY, Add to Reading List Source URL: work.caltech.edu Language: English - Date: 2005-04-05 03:19:05 Boolean algebra Computational complexity theory Theory of computation Logic Circuit complexity Circuit Truth table Canonical form FO Theoretical computer science Mathematics Applied mathematics
453	doi:[removed][removed]Technical Perspective Building Robust Dynamical Simulation Systems By Dinesh Manocha Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2012-03-23 15:47:43 Software development Physics Operations research Collision detection Dynamical simulation Simulation Computer simulation Dynamical system Logic simulation Computational physics Video game development Science
454	British Library International Non-Commercial Document Supply Service Title List Title 123 .Net: The Internet Magazine 21 Century Education Add to Reading List Source URL: www.bl.uk Language: English - Date: 2014-11-22 15:49:27 Asia Anti-Counterfeiting Trade Agreement ACM Transactions on Mathematical Software Association for Computing Machinery ACM Transactions on Computer-Human Interaction Publishing Law Academic publishing Acta Materialia ACM Transactions on Computational Logic Acta Zoologica
455	Knowledge Vault: A Web-Scale Approach to Probabilistic Knowledge Fusion ∗ Xin Luna Dong , Evgeniy Gabrilovich, Geremy Heitz, Wilko Horn, Ni Lao, † Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-08-22 01:00:52 Natural language processing Semantics Computational linguistics Bayesian statistics Philosophy of science Information extraction Knowledge representation and reasoning Prior probability Predicate Logic Science Linguistics
456	Oracle inequalities for computationally adaptive model selection arXiv:1208.0129v1 [stat.ML] 1 Aug[removed]Alekh Agarwal† Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-08-01 20:37:08 Algorithm Mathematical logic Computational complexity theory Computability theory Formal methods Models of computation Lambda calculus Theoretical computer science Applied mathematics Mathematics
457	W HYPER: Towards Automating Risk Assessment of Mobile Applications Rahul Pandita, Xusheng Xiao, Wei Yang, William Enck, Tao Xie North Carolina State University, Raleigh, NC, USA {rpandit, xxiao2, wei.yang}@ncsu.edu {enck Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2013-10-08 11:57:21 Logic Speech recognition Information extraction Parsing Modal logic Linguistics Computational linguistics Natural language processing Science
458	Microsoft Word - RevisedFormulaReferenceSheet200609.doc Add to Reading List Source URL: www.mdk12.org Language: English - Date: 2006-11-16 16:14:50 Mathematical logic Operations research Equations How to Solve It Computational complexity theory Mathematics Problem Mathematical optimization
459	SimAUD[removed]Symposium on Simulation for Architecture and Urban Design Tampa, Florida, USA Add to Reading List Source URL: www.autodeskresearch.com Language: English - Date: 2014-05-01 20:10:36 Software Computer graphics Ethology Infographics Visualization Scientific modelling Simulation VisIt Logic simulation Science Computational science Scientific modeling
460	Using Universal Linguistic Knowledge to Guide Grammar Induction Tahira Naseem, Harr Chen, Regina Barzilay Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {tahira, harr, regi Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2010-09-23 08:19:53 Computational linguistics Natural language processing Logic Estimation theory Expectation–maximization algorithm Missing data Dependency grammar Grammar induction Dimensional analysis Science Statistics Linguistics

UPDATE